LIHAT SEMUA: Symbolic differentiation Python